This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
WeiterlesenThis book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
WeiterlesenThe book promotes development scalability through domain partitioning and subdomain partitioning. It also explores software ...
WeiterlesenThis book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, ...
WeiterlesenIt contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Weiterlesen